#!/bin/bash
./bench_nop.sh 5
sleep 1
./bench.sh 5
sleep 1
./bench_apfsds.sh 5
sleep 1
./bench_wcet.sh 5
sleep 1
cd bench
./bench.sh $1 5
